Investigating Extension Polymorphism
نویسندگان
چکیده
This paper examines a polymorphism mechanism which allows abstraction over evolving types. Although inclusion polymorphism is often quoted as being such a mechanism, this holds only for record types, for which constructor the inclusion relation matches the way types evolve in a long-lived system. This paper formalises the idea of evolution in the type space by the notion of extension, based upon both intuition and observation of evolving systems in a persistent programming environment. Extension is proposed as a type abstraction mechanism to allow smooth evolution in statically typed systems, and programming language mechanisms are introduced which maintain soundness and static checking in the presence of this abstraction. Extension over some function types is related to the concept of type matching, but a more general treatment is given as our interest is in extension over the whole type system.
منابع مشابه
Investigating the relationship between C-159T polymorphism in CD14 gene promoter and disease severity in 2019 corona virus patients
Introduction: Considering the effectiveness of polymorphisms in the occurrence of respiratory diseases, it seems that these genetic variations in viral and microbial receptors can be effective in the occurrence and progression of the disease. The present study aimed to assess the relationship between the C-159T polymorphism in the CD14 gene promoter and the severity of the disease in Covid-19...
متن کاملInvestigating the prevalence of FXIIIVal34Leu polymorphism in the thalassemic patients of Ilam City
Introduction: The coagulation factor 13 has a fundamental role in homeostasis, protective effects on thrombosis, and some other associated diseases. Due to increasing the chronic coagulability of major thalassemic patients, this study was conducted with aim determining the prevalence of Val34LeuFXIII polymorphism in the thalassemic patients. Materials and methods: The present case-control stud...
متن کاملInvestigating the Distribution of ERCC2 (rs13181) Gene Polymorphism in Gastric Cancer Patients in Mazandaran: A Case-control Study
Background and objectives: Gastric cancer is one of the most common cancers of the gastrointestinal tract in the world, which also has a high prevalence in Iran. ERCC2 gene is considered one of the major genes related to gastric cancer. The present study aimed to investigate the relationship between rs13181 polymorphism of ERCC2 gene. The polymorphism in the promoter region of ERCC2 gene can af...
متن کاملInvestigating the methylation status of DACT2 gene and its association with MTHFR C677T polymorphism in patients with colorectal cancer
Colorectal cancer (CRC) is one of the common causes of cancer death in Iranian population. Both genetic and epigenetic changes have been implicated in CRC pathogenesis. DACT2 gene as one of the WNT signaling pathway inhibitor was shown to display tumor suppressor activity in many cancers. The aim of present study was to investigate the methylation status of DACT2 gene and its ...
متن کاملP-203: Investigating Association of HLA-G Gene Polymorphisms and Failed Implantation in Human Embryos
Background: HLA-G is a non-classical human leukocyte antigen expressed primarily in fetal tissues at the maternal-fetal interface. The unique structure of HLA-G molecule permits a restricted peptide presentation and allows the modulation of the immune system. There is now general agreement that HLA-G is an important immunotolerant molecule with the capability of inhibiting immune cell functions...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 1995